#ejecución guiada por restricciones